pddl translating of memstr: removing useless parameter in forall