Small improvements to handle parameters in model checker.