Goblint_lib.BranchSet
Helper analysis to be path-sensitive in set of taken branches.
module Spec : sig ... end