The following attributes of the new Configuration class are not yet used:
evaluationTimeoutMilliseconds
evaluationMaxTuples
evaluationMaxComplexity
evaluationDivideByZeroBehaviour
floatingPointDoublePrecision
floatingPointFloatPrecision
Ensure that these values are pushed down to where they are needed.