adding cleanup addresses step in ciBDD