JSON is ready in pwd. It should work. It will work.
Liberty Eiffel has a bug in the implementation of a quite brand new feature: the keyword "then" can now be used at the end of a function definition to assign an expression to Result, to be returned to the function caller. It helps writing short functions.
See Eiffel as an expression language.
The management of this expression is buggy; I am fixing it.
More next week.