bad_null
bad_null(left);
bad_null(right);
bad_null(*cond);
bad_null(expr->cond_false);
bad_null(*rp);