#424 Updated Cif to Uppaal prechecker tests output.

3 jobs for 424-cif-to-uppaal-precondition-checker in 0 seconds (queued for 35 seconds)