We are now able to solve the first trivial goal.
Restore file.
Some intermediate experiments.
Finally managed to call refine from ML