Functions/ModificationOfParameterWithDefault.ql