cond_expr_t::free should delete itself (would this be a better way to fix pr #5?)