IDEA-101689 incorrect control-flow analisys