/storage/svcomp/c/bin/ltl-toy/02-fig8-2007_true-valid-ltl.c.oi: \
  02-fig8-2007_true-valid-ltl.c.i