Cil.visitor_behavior -> Cil.cilVisitor