Fix Inconsistent Qualified Names

[rcosta358]

Description

Closes #269.

Example

conflicting_ghost_names_correct

Before

Error: Sort mismatch at argument #1 for function (declare-fun java.util.ArrayList.size (java.util.ArrayList) Int) supplied sort is java.util.Stack
12 |         Stack<Integer> stack = new Stack<>();
13 |         if (stack.empty()) {
14 |             stack.push(1);
   |             ^^^^^^^^^^^^^^
15 |             stack.peek();
16 |         }

After

Correct! Passed Verification.

Related Issue

#269.

Type of change

• Bug fix
• New feature
• Documentation update
• Code refactoring

Checklist

• Added/updated tests under liquidjava-example/src/main/java/testSuite/ (Correct* / Error*)
• mvn test passes locally
• Updated docs/README if behavior or API changed