Coding complete for the liveness analysis pass. However, due to a lack
of complement operator in BitVector class, the compilation step is still
faulty.