semantic: Handle break statements and constant loop conditions.