fix bug, remember to edit cb.jade instead of cb.html. separate cutbool computation from decomposition