sig
val
constGlobSubstVisitor :
Cil
.cilVisitor
end