Add adapted SV-COMP'14 loops benchmarks