implemented BitSet::next and BitSet::size
wip: liveness