svcomp: run sequential composition of verifiers only for reachsafety
svcomp: run sequential composition of verifiers only for reachsafety

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic