predicates.md (pop_operation): New.