Correction of if evaluation to enable recursive functions.
Deletion of old tests.
Some application case.
Various bug corrections.