Create.Make
module Reg : Arch_settings.Registers with module Domain = Domain
module State : StateS with module Domain = Domain
val expr : Binsec.Dba.Expr.t -> State.t -> (Domain.binary * State.t) option
val instr : State.t -> Binsec.Dba.Instr.t -> (jump_target * State.t) list