Added methods for validating models and now failed test will print out more information about chosen PathGenerator, StopCondition, Value and the fulfilment of the model when the test stopped.