Drop issue numbers from code comments

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: CatarinaGamboa

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/OperationsChecker.java

@@ -76,7 +76,7 @@ public <T> void getBinaryOpRefinements(CtBinaryOperator<T> operator) throws LJEr
             return; // Operations in annotations are not handled here
 
         if (hasUnresolvedType(operator)) {
-            // an operand's type could not be resolved (e.g. its class is not on the classpath, #388): the value of a
+            // an operand's type could not be resolved (e.g. its class is not on the classpath): the value of a
             // comparison or logical operation is an unknown boolean, and any other operation is left unrefined
             if (!isBooleanOperator(operator.getKind()))
                 return;
@@ -150,7 +150,7 @@ public Predicate getOperatorAssignmentRefinement(String assignedName, CtOperator
         String op = getOperatorFromKind(assignment.getKind());
         if (op == null) // x |= y, x <<= n, ...: no counterpart in the integer logic, so the new value is unknown
             return new Predicate();
-        if (hasUnresolvedType(assignment.getAssignment())) // the right-hand side has an unknown type (#388)
+        if (hasUnresolvedType(assignment.getAssignment())) // the right-hand side has an unknown type
             return new Predicate();
         Predicate left = getCurrentVariableValue(assignedName);
         Predicate right = getOperatorAssignmentRefinement(assignment.getAssignment());
@@ -205,7 +205,7 @@ public <T> void getUnaryOpRefinements(CtUnaryOperator<T> operator) throws LJErro
 
         CtTypeReference<?> type = ex.getType();
         if (type == null) {
-            // the operand's type could not be resolved (#389): a negation is still boolean, anything else is unrefined
+            // the operand's type could not be resolved: a negation is still boolean, anything else is unrefined
             if (operator.getKind() != UnaryOperatorKind.NOT)
                 return;
             type = operator.getFactory().Type().booleanPrimitiveType();

liquidjava-verifier/src/main/java/liquidjava/utils/Utils.java

@@ -53,7 +53,7 @@ public static String qualifyName(String prefix, String name) {
     }
 
     public static String qualifyFieldName(CtFieldReference<?> field) {
-        if (field.getDeclaringType() == null) // declaring class not resolved (#390): matches no known field
+        if (field.getDeclaringType() == null) // declaring class not resolved: matches no known field
             return "this#" + field.getSimpleName();
         return "this#" + field.getDeclaringType().getQualifiedName() + "." + field.getSimpleName();
     }