aliasCtr = 0;
obj.setHead((IExpression) obj.getHead().accept(this, obj));
// Equalities (mit Aliasvariablen) aus Head entfernen
final List<Equality> equalities = new ArrayList<Equality>();
final SimpleRuleVisitor extractEquality = new SimpleRuleVisitor() {
@Override
public IRuleNode visit(Equality obj, IRuleNode arg)
throws RIFException {
if (obj.isPossibleAssignment()
&& obj.leftExpr instanceof RuleVariable