fact: Definition get (x: ident) (S: t) : V.t := match S with | Bot => V.bot | Top_except m => match IdentMap.find x m with | None => V.top | Some N => N end end.
imports: Coq(ZArith Psatz Bool String List FMaps) CDF(Sequences IMP)