internal override BoolExpr <T_Identifier> VisitAnd(AndExpr <T_Identifier> expression) { return(new AndExpr <T_Identifier>(AcceptChildren(expression.Children))); }
internal abstract T_Return VisitAnd(AndExpr <T_Identifier> expression);
internal override BoolExpr <T_To> VisitAnd(AndExpr <T_From> expression) { return(new AndExpr <T_To>(VisitChildren(expression))); }
internal override Vertex VisitAnd(AndExpr <T_Identifier> expression) { return(_context.Solver.And(expression.Children.Select(child => child.Accept(this)))); }
internal override bool VisitAnd(AndExpr <T_Identifier> expression) { return(VisitTree(expression)); }