if type(expr) == sub_t and type(expr.op1) == value_t \
        and type(expr.op2) == value_t: