refactor: change default conversion function for correctness witnesses in MEA

Proofs are not compared at the moment, but this may be needed in the
future. Passing the full trace to the cache makes little sense, since
currently proofs are represented as conditions and invariants (and
invariants may be absent). Therefore, conditions are the best candidate
for cached results to enable comparison of different proof versions.

Author: vmordan

cv/components/mea.py

@@ -247,7 +247,7 @@ def __process_trace(self, error_trace_file: str, queue: multiprocessing.Queue =
             self.logger.debug(f"Trace '{error_trace_file}' has been parsed")
 
             if parsed_error_trace.get('type') == WitnessType.CORRECTNESS:
-                conversion_function = ConversionFunction.FULL
+                conversion_function = ConversionFunction.CONDITIONS
             else:
                 conversion_function = self.conversion_function
             converted_error_trace = convert_error_trace(parsed_error_trace, conversion_function,