Disable unknown witnesses for SV-COMP 2022
Disable unknown witnesses for SV-COMP 2022

This makes witness linter, etc happy.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer