Expcompare.volatileFinderClass
inherit GoblintCil__.Cil.nopCilVisitor
method vtype : GoblintCil__.Cil.typ -> GoblintCil__.Cil.typ GoblintCil__.Cil.visitAction