changing one rule for final fields

it was not wrong before but not confluent. Failed the
case vstte10_05_Queue/AmortizedQueue_AmortizedQueue.key

key.core/src/main/resources/de/uka/ilkd/key/proof/rules/locSetsRules.key

@@ -1355,7 +1355,7 @@
                 EQ,
                 java.lang.Object::<created>) = TRUE)
 
-        \replacewith( ==> boolean::select(h, o, java.lang.Object::<created>) = TRUE )
+        \add( ==> boolean::select(h, o, java.lang.Object::<created>) = TRUE )
 
         \heuristics(concrete)
     };