PROBCORE-557 Refactored finding trace through state space. Now uses predicate find_trace_to_node. Wrote Integration test.
Ensure that cli is cleaned up after executing test. Wrote testStub as a guide for future integration tests.