Outline some control flow warning code from check_definitions