Function Invocation Simple Name Workaround

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/rj_language/ast/FunctionInvocation.java

@@ -93,7 +93,7 @@ public int hashCode() {
         final int prime = 31;
         int result = 1;
         result = prime * result + ((getArgs() == null) ? 0 : getArgs().hashCode());
-        result = prime * result + ((name == null) ? 0 : name.hashCode());
+        result = prime * result + ((name == null) ? 0 : Utils.getSimpleName(name).hashCode()); // same here
         return result;
     }
 
@@ -114,7 +114,10 @@ public boolean equals(Object obj) {
         if (name == null) {
             return other.name == null;
         } else {
-            return name.equals(other.name);
+            // prefixes are inconsistent for refined class ghost calls: some use the
+            // original class prefix, others use the caller class prefix
+            // for now we compare simple names, but prefix handling should be fixed instead of having this workaround
+            return other.name != null && Utils.getSimpleName(name).equals(Utils.getSimpleName(other.name));
         }
     }
 }