variable bad_case "" is removed in cycle_body.drn