PROBCORE-557 Migrated GetStateBasedErrorsCommand
PROBCORE-557 wrote integration test to test GetStatesFromPredicate
restore testStub.groovy
PROBCORE-557 Migrated and wrote integration test for GetVersionCommand
PROBCORE-557 Integration test for loading B Machine from String.
PROBCORE-557 removed command that is not used.
Wrote integration test and fixed bug in the representation of errors (PROBCORE-557)
PROBCORE-557 Integration test for consistency checking
minor changes (code cleanup)
clean up code
Integration test for SimpleTextCommand (PROBCORE-557)
remove todos
Merge branch 'feature/prob2interface' into develop
Merge remote-tracking branch 'origin/develop' into develop