Renamed some files.
Removed --no-termination-check pragma.