Elisp conventions
[Dedukti] Add "-r" option to get warnings on non-normal terms