Removed the TLCOuputParser. The output of TLC (error type and trace) is
stored in auxiliary variables.