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