sig val constGlobSubstVisitor : Cil.cilVisitor end