ISLANDS WORK NOW
added comments for islands and consolidated logic in add_to_equalities