Fix the emission of recursive functions in JsLIGO tree abstractor
type:fixed
Related to #1456 (closed). To reduce annotation criteria for JsLIGO we now infer whether the function should be recursive (mandatory annotation) or a non-recursive function (no annotation critiera) during tree abstraction.
Changelog details:
Fix the emission of recursive functions in JsLIGO tree abstractor