No special header needed for SV-COMP benchmarks.