using bitvectors for gen/kill
compute IN and OUT sets