disjunctive-preconditions support