ModelChecker: refactor, get rid of IOperationContext; cons parameters instead of overridden method