Support inequality in preconditions