public void Visit(Implies implies)
 {
     VisitBinaryFunction(implies);
 }