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