1
import CW10b._
2
3
assert(optimise(load_bff("benchmark.bf")).length == 181)
4
assert(optimise(load_bff("mandelbrot.bf")).length == 11203)