`module type HilConfig : sig ... end`
`module DefaultConfig : HilConfig`
`module Make : functor (MakeTransferFunctions : InferModules.TransferFunctions.MakeHIL) -> functor (HilConfig : HilConfig) -> functor (CFG : InferModules.ProcCfg.S) -> sig ... end`

Functor for turning HIL transfer functions into SIL transfer functions

`module MakeAbstractInterpreterWithConfig : functor (HilConfig : HilConfig) -> functor (CFG : InferModules.ProcCfg.S) -> functor (MakeTransferFunctions : InferModules.TransferFunctions.MakeHIL) -> sig ... end`

Wrapper around Interpreter to prevent clients from having to deal with IdAccessPathMapDomain

`module MakeAbstractInterpreter : functor (CFG : InferModules.ProcCfg.S) -> functor (MakeTransferFunctions : InferModules.TransferFunctions.MakeHIL) -> sig ... end`

Simpler version of the above wrapper that uses the default HIL config