Module Hax_engine.Phase_drop_blocks

module Make (F : Features.T) : sig ... end

Only use this phase if you are also rejecting unsafe