Merge branch 'main' into null-support

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/RefinementTypeChecker.java

@@ -127,7 +127,8 @@ public <T> void visitCtLocalVariable(CtLocalVariable<T> localVariable) {
         if (localVariable.getAssignment() == null) {
             // declaration with no assignment
             Optional<Predicate> pred = getRefinementFromAnnotation(localVariable);
-            context.addVarToContext(varName, localVariable.getType(), pred.orElse(new Predicate()), localVariable);
+            RefinedVariable v = context.addVarToContext(varName, localVariable.getType(), pred.orElse(new Predicate()), localVariable);
+            getMessageFromAnnotation(localVariable).ifPresent(v::setMessage);
         } else {
             // declaration with assignment
             CtExpression<?> e = localVariable.getAssignment();