Add SV-COMP'14 benchmark that uses counters