@@ -74,7 +74,7 @@ public void registerGhosts(CtInterface<?> intrface) {
             return;
         this.prefix = target.get().getValue();
         try {
-            handleStateSetsFromAnnotation(intrface);
+            registerGhostsAndStateSets(intrface);
         } catch (LJError e) {
             diagnostics.add(e);
         }
 
@@ -36,7 +36,7 @@ public <T> void visitCtInterface(CtInterface<T> intrface) {
 
     private void register(CtType<?> type) {
         try {
-            handleStateSetsFromAnnotation(type);
+            registerGhostsAndStateSets(type);
         } catch (LJError e) {
             diagnostics.add(e);
         }
 
@@ -195,7 +195,7 @@ public Optional<String> getMessageFromAnnotation(CtElement element) {
 
     /** Registers the ghosts and state sets a type declares, then checks the names given to its state sets */
     @SuppressWarnings("unchecked")
-    public void handleStateSetsFromAnnotation(CtElement element) throws LJError {
+    public void registerGhostsAndStateSets(CtElement element) throws LJError {
         int set = 0;
         Map<GhostFunction, SourcePosition> namedSets = new LinkedHashMap<>();
         for (CtAnnotation<? extends Annotation> ann : element.getAnnotations()) {
Original file line number	Diff line number	Diff line change
`@@ -74,7 +74,7 @@ public void registerGhosts(CtInterface<?> intrface) {`
`74`	`74`	`return;`
`75`	`75`	`this.prefix = target.get().getValue();`
`76`	`76`	`try {`
`77`		`- handleStateSetsFromAnnotation(intrface);`
	`77`	`+ registerGhostsAndStateSets(intrface);`
`78`	`78`	`} catch (LJError e) {`
`79`	`79`	`diagnostics.add(e);`
`80`	`80`	`}`
Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ public <T> void visitCtInterface(CtInterface<T> intrface) {`
`36`	`36`
`37`	`37`	`private void register(CtType<?> type) {`
`38`	`38`	`try {`
`39`		`- handleStateSetsFromAnnotation(type);`
	`39`	`+ registerGhostsAndStateSets(type);`
`40`	`40`	`} catch (LJError e) {`
`41`	`41`	`diagnostics.add(e);`
`42`	`42`	`}`