let
newSetsDecl = ref []