Mid rewrite with ControlParameterization factored out