I don't agree.  Please take a closer look at the test.  For the first compile,
we have precondition="true" and supplier_precondition="true".  For the
second compile both of these are "false".  So preconditions should not be
monitored after the 2nd compile.  But they are.

You can easily confirm that this is indeed a bug by running the original test
and noting the output of the 2nd system execution.  Then delete the EIFGENs
directory, compile from scratch and run the system.  The output is different
than it was on the 2nd system execution.