Consider program fragment and requiremens specification as attribute for comparison
At the moment users can notice that from time to time there are unmatched verdicts when they compare verification results even though it is not clear why this is the case since everything works quite well and there are attributes necessary for comparison. We revealed that this is due to lack of flag "compare": True for these attributes for reports of VTG plugins. This is an awful and old bug that can be trivially fixed. Unfortunately, without some manual efforts all existing verification results will not gain a good comparison capability. Hopefully, I guess that we will withdraw all these results soon when Klever 3.0 will be ready.