(Cil_types.varinfo -> Cil_types.init option) -> Cil.cilVisitor