GoblintCil.Cillower
A number of lowering passes over CIL
val lowerEnumVisitor : Cil.cilVisitor
Replace enumeration constants with integer constants