if type(expr) == b_not_t and type(expr.op) == aeq_t:
    return lower_t(expr.op.op1.pluck(), expr.op.op2.pluck())