Add more svcomp14/eca benchmarks