Obsolete
First working version with one FEROL.
First set up converted test cases
Various improvements.