AbstractInterpreterTests.PathCountTransferFunctions
module CFG : Absint.ProcCfg.S
module CFG = CFG
module Domain = PathCountDomain
type analysis_data = unit
val exec_instr : 'a -> 'b -> 'c -> 'd -> 'e -> 'a
val pp_session_name : 'a -> 'b -> unit