Sometimes after graph reshape Main loop is peeled because it has invariant test. But such test should be present in Pre-loop so use it instead of peeling Main-loop.