class genericCilVisitor : visitor_behavior -> cilVisitor
visitor_behavior ->
cilVisitor
generic visitor, parameterized by its copying behavior. Traverses the CIL tree without modifying anything