First IL before producing DBA
type 'a t = private | Assign of Dba.LValue.t * Dba.Expr.t| SJump of 'a Dba.jump_target * Dba.tag option| DJump of Dba.Expr.t * Dba.tag option| Assert of Dba.Expr.t| If of Dba.Expr.t * 'a Dba.jump_target| Undef of Dba.LValue.t| Nondet of Dba.LValue.t * Dba.region| Stop of Dba.stateval assign : Dba.LValue.t -> Dba.Expr.t -> 'a tval (<<-) : Dba.LValue.t -> Dba.Expr.t -> 'a tval static_jump : ?tag:Dba.tag -> 'a Dba.jump_target -> 'a tval dynamic_jump : ?tag:Dba.tag -> Dba.Expr.t -> 'a tval dynamic_assert : Dba.Expr.t -> 'a tval conditional_jump : Dba.Expr.t -> 'a Dba.jump_target -> 'a tval undefined : Dba.LValue.t -> 'a tval non_deterministic : Dba.LValue.t -> Dba.region -> 'a tval blockify : Dba.address -> Dba.id t list -> Dhunk.tblockify next_addr predbas
a full DBA block considering it continues to next_addr