Add two SV-COMP 2014 benchmarks

Eventually we want to include more but we have to start somewhere.