implied_condition_false
if (implied_condition_false(stmt->iterator_pre_condition))
int implied_condition_false(struct expression *expr);
if (implied_condition_false(expr->cond_true)) {
if (implied_condition_false(expr->cond_false)) {
is_false = implied_condition_false(right->conditional);
if (implied_condition_false(expr->unop)) {
if (implied_condition_false(expr->unop))
return implied_condition_false(tmp);
if (implied_condition_false(expr->conditional))