added method for :disjunctive-preconditions requirment; some other minor fixes