*XMLFailureException added
*lastVerdict is not saved now
*When processing an XML trace, in case of strong failure an exception
XMLFailureException is thrown