public override void RecoverUpdateInformation() { base.RecoverUpdateInformation(); foreach (Parameter parameter in FormalParameters) { parameter.RecoverUpdateInformation(); } foreach (Rule rule in Rules) { rule.RecoverUpdateInformation(); } }