freeVariables.remove(variable);
}
+ @Override
+ public void visit(EAsPattern expression) {
+ if(expression.var != null)
+ freeVariables.add(expression.var);
+ expression.pattern.accept(this);
+ }
+
public THashSet<Variable> getFreeVariables() {
return freeVariables;
}