Microsoft.Zing.ZReplacer.VisitAssume C# (CSharp) Метод

        private AssumeStatement VisitAssume(AssumeStatement assume)
        {
            if (assume == null) return null;
            assume.booleanExpr = this.VisitExpression(assume.booleanExpr);
            return assume;
        }