ValueInvariant.Arg
val context : Invariant.context
val scope : GoblintCil.fundec
val find : GoblintCil.varinfo -> Compound.t