is_less = lambda expr: type(expr) == neq_t and \
        type(expr.op1) == sign_t and type(expr.op2) == overflow_t and \
        expr.op1.op == expr.op2.op #and type(expr.op1.op) == sub_t