SVCOMP-benchmarking specific implementations