Eliminating Negative Occurrences of Derived Predicates from PDDL Axioms