import CW10b._

assert(optimise(load_bff("benchmark.bf")).length == 181)
assert(optimise(load_bff("mandelbrot.bf")).length == 11203)