Add Precondition operators.