Converted tests in VeriParser/PreProcess.py to use unittest.
Test5 still failing.