let newSetsDecl = ref []