Improved mock util for setup type system of session
Refactoring: Modification Date synchronization detection moved to abstract solver

Every solver can use the Property without the need of initialization parameter
The abstract solver extracts the possibility directly from given session