Microsoft.Zing.Partitioner.VisitAssume C# (CSharp) Method

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