Improve handling of output files in 'ForAll.py'