WitnessLint: Renamed column since the identifier was duplicated
Currently BenchExec will take the last column for that identifier to write it into the xml file. For this case it means that currently BenchExec produces a entry witnesslint-witness-type-match in the xml file whose value is what comes after Witness Version-Match in the log file.
Edited by Dirk Beyer