adding Range Analysis, updating ConstantProp