is_fresh_alloc
bool is_fresh_alloc(struct expression *expr);
(faked->type == EXPR_ASSIGNMENT && is_fresh_alloc(faked->right)))
if (!is_fresh_alloc(expr))
if (!is_fresh_alloc(expr->right))