Predicate changes

vector<Variable*> boundVarList;