proofs/containers/balanced_search_tree/sim.bend checks

import Base
import ../../lib/logic.bend as L
import ../../lib/nat.bend as N
import ../../lib/u32.bend as U
import ../../lib/array.bend as AR
import ../../lib/list.bend as LL
import ../../../spec/lib/common.bend as SC
import ../../../src/containers/balanced_search_tree.bend as M
import ../../../src/containers/dynamic_array.bend as D
import ../../../src/containers/types/dynamic_array.bend as DE
import ../dynamic_array/layout.bend as LY
import ../dynamic_array/state.bend as DAS
import ../dynamic_array/steps.bend as DST
import ./state.bend as ST
import ./mk.bend as MK
import ./da.bend as DA
import ./arr.bend as AB
import ./prim.bend as PR
import ./nsl.bend as NSL
import ./mirror.bend as MI