import CW10b._+− +− assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)+− assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6509)+−