Predicate changes

virtual vector<Variable*>& GetBoundVariables()