public override void PostprocessPurity(TranslationResult result, TranslationContext context) { if (this.Impure) { result.AsImpureAssertion(context, this.SilverType, "method call"); } }