#457 Test trivially true init predicates checking for the (X+1)th time.

7 jobs for 457-update-cif2plc-prechecker in 0 seconds (queued for 36 seconds)