HOPKINS: Start refactoring GENIAL. Remove three labels and the associated GOTOs