use BitSet for variable assignments