PROBCORE-471 Added options to model checker for partial order reduction and partial guard evaluation
Merge remote-tracking branch 'origin/develop' into develop