domains.md: Correct documentation of generated Map rules
@@ -437,11 +437,8 @@ module MAP-KORE-SYMBOLIC [kore,symbolic]
rule K1 in_keys(M [ K2 <- _ ]) => K1 in_keys(M) requires K1 =/=K K2 [simplification]
/*
-// The rules below are automatically generated by the frontend.
-// They are left here to serve as documentation.
-
- rule K:KItem in_keys(M:Map K |-> _) => true
- rule K:KItem in_keys(_:Map) => false [owise]
+// The rule below is automatically generated by the frontend for every sort
+// hooked to MAP.Map. It is left here to serve as documentation.
rule #Ceil(@M:Map (@K:KItem |-> @V:KItem)) => {(@K in_keys(@M)) #Equals false} #And #Ceil(@M) #And #Ceil(@K) #And #Ceil(@V)
[anywhere, simplification]
