Predicate signature Make::LogicInputSig::additionalImpliesStep

Holds if the assumption that g1 has been evaluated to v1 implies that g2 has been evaluated to v2, that is, the evaluation of g2 to v2 dominates the evaluation of g1 to v1.