philipp.schlehuber-caissier / syntcomp_tgcc