Merge ParamModelChecker's vmMultMin and vmMultMax into one method.