semantic: Translate binop expression nulls.