2bdeef7970
Should update type to denotable, e.g., IntegerValueType(x) to proper numeric type. TODO extract common code into some ValueArgumentPostprocessor