Final file is not compilable due to "predicate no longer applies"

[yannickmoy]

On a project, adareducer ends with the error:

adareducer has found that the predicate no longer applies
after completing a cycle on one file. This is unexpected.

Its advice about builders does not apply here, as I'm using gcc in the oracle script:

gcc -c -gnat95 file.adb > test.out 2>&1
grep "error: run-time library configuration error" test.out

And the last file being reduced is left in a non-compilable state, with null statements badly inserted in many places:

		for T in 1 .. NUMBER_OF_TRANSITIONS_FROM (FROM_STATE) loop
		    THE_TRANSITIONnull;
		    if (NUMBER_OF_TRANSITION_SETS_CONTAINING (THE_TRANSITION) = 0)
		    and then CPS.TRANSITION_ENABLED (THE_TRANSITION) then
		        null;null;null
		    end if;

How can I investigate this issue?

[setton]

This is probably due to the presence of tabs in the original, and should be fixed with #30.