set calculation and debug bitvector print implemented