SimplifiedLifter (goblint.Goblint

module FromSimplifiedSpec
  (S : SimplifiedAnalysis.SimplifiedSpec) : 
  Analyses.Spec

Lift a SimplifiedAnalysis.SimplifiedSpec to a regular Analyses.Spec.