PROBCORE-489 Remove unneeded domain objects
PROBCORE-489 Refactor LTL
PROBCORE-471 Implemented toString() for IModelCheckingResult
Merge remote-tracking branch 'origin/develop' into develop