pse.ModelBuilder: Remove the isNonDet flag.
Delete param/ExprFunction{,Factory}.java
Replace ModelCheckerResultRanged with BoxRegionValues.