Fork of SV-COMP repo with C files (tuned to be standard C)