Predicate changes

vector<Term*>& GetArgs()