Goblint_lib.BranchSeq
Path-sensitivity in the last ana.branchSeq.length branch decisions. Histories pass from caller to callee and back; new threads start empty.
ana.branchSeq.length
module Spec : sig ... end