Moving from maude to Java backend

1. Int2Float: 3 arguments instead of 1 Int2Float(your int,53,11)

2. Changed the syntax of Map update from Map [ Value / Key ] to Map [ Key <- Value ].

3. Invalid now : _:MapItem use |-> instead of _:MapItem

4. Invalid now : _:ListItem can still use ListItem(...)

5. [Error] Unsupported map pattern in the rule left-hand side (cannot match by values) you need to write auxilary functions

6. configuration: more rigorous cell type create a supersort and use :> supersort in configuration decl

[Error] Critical: unexpected left-hand side data structure format; expected elements and at most one variable ... [Warning] Compiler: Expecting an empty list but got class org.kframework.kil.KSequence of sort K. Won't transform. don't use just dot, use .Map .List blabla instead or you are matching mapItem using value, this is no longer allowed, and you need an aux function

8. [Error] Critical: SDF failed to parse a rule by throwing: null Aborted at ... maybe some place needs ()

9. [Error] Critical: Cannot determine if the KLabel 'normalizeType is a function symbol because there are multiple productions associated with this KLabel: ["normalizeType" "(" Type "," Type ")" , "normalizeType" "(" Type ")" ] If you define one with [function] attribute, all needs to add [function]

10. [Error] Critical: unexpected sort K of concatenated term .K; expected List should use .List instead of dot in some places

11. Cannot compute least sort of term: 'ParamImpl('class_(Id(#"java.lang.Object")),, Id(#"e")) Possible least sorts are: [Param, ExtKResult] try to refactor the syntax to get a least sort for the labeled form.