Symbol: check_end_after_start