Class BitVectorKillGen