added a rule for pop, and changed the method invoke rules to accept only one argument