Correct Preconditions for Binary expressions.