Analysis and detection of errors in a NuSMV XML trace

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>