You can avoid the `if (contains) .. else .. ` below with:

`val localStores = mutable.Map[(Local, BasicBlock), mutable.BitSet]() withDefaultValue mutable.BitSet`