possibly_false
return !possibly_false(expr, SPECIAL_NOTEQUAL, value_expr(val));
int possibly_false(struct expression *left, int comparison, struct expression *right);
if (!possibly_false(left, op, right))