Fix a simple bug in FileTools
Fix the ForAll script
Workaround for a sympy change causing issues in symbolic 2-level potentials