Updated output for running integration tests.
PROBCORE-557 Refactoring finding Trace through StateSpace PROBCORE-564