some trivial changes for rulecompiler to support negated bindings. we need to test it later.
some trivial changes for rulecompiler to support negated bindings. we need to test it later.

git-svn-id: 9643e93313b82f5e4da82d8413267a0daa4b5472@1052 2cd91b7d-3b21-0410-a5f4-f42db4f24360

RWTH-i5-IDSG/jamocha,RWTH-i5-IDSG/jamocha