extract out pet_expr_is_assume