is_impossible_variable
if (is_impossible_variable(left) || is_impossible_variable(right))
bool is_impossible_variable(struct expression *expr);