public void Visit(AND and) { Sequent sequent = new Sequent( new ISymbol[0], and ); Result = solver.Prove(sequent); }
public void Visit(AND and) { VisitBinaryFunction(and); }