correct a bug in getAllBmus_flooded