PSEModelChecker: s/MIN/min/ && s/MAX/max/
s/PointSamples/SamplePoints/