[mcs] Lift any non-nullable operand under runtime binder for lifted binary operation