If loopextract breaks the program provide output so that we can repro the