implement boolwidth algorithm
todo: test cuts