Major Description
The Runtime.scala doParse function looks roughly like:
try{
try
{ //parse logic }finally
{ state.verifyFinalState(wasThrow) }} catch
{ //actually handle exceptions }
verifyFinalState disables some checks when there was an excpetion, but some get run regardless. In the case where verifyFinalState fails, it will throw a new exception, thereby surpressing the original excpetion; even though it is likely that the original exception was the actual cause of the problem.