has_variable
if (has_variable(left, right) == 1) {
int has_variable(struct expression *expr, struct expression *var);
if (is_simple_math(prev) && has_variable(prev, left_orig) == 0) {
if (is_simple_math(prev) && has_variable(prev, right_orig) == 0) {