Optimizer for bobox framework: http://www.ksi.mff.cuni.cz/bobox/