internal override bool VisitTrue(TrueExpr <T_Identifier> expression) { return(true); }
internal override Vertex VisitTrue(TrueExpr <T_Identifier> expression) { return(Vertex.One); }
internal override BoolExpr <T_To> VisitTrue(TrueExpr <T_From> expression) { return(TrueExpr <T_To> .Value); }
internal override BoolExpr <T_Identifier> VisitTrue(TrueExpr <T_Identifier> expression) { return(FalseExpr <T_Identifier> .Value); }
internal override BoolExpr <T_Identifier> VisitTrue(TrueExpr <T_Identifier> expression) { return((BoolExpr <T_Identifier>)expression); }
internal override int VisitTrue(TrueExpr <T_Identifier> expression) { return(0); }