import CW10b._+− +− assert(optimise(load_bff("benchmark.bf")).length == 181)+− assert(optimise(load_bff("mandelbrot.bf")).length == 11203)+−