(executable
 (name source)
 (instrumentation (backend bisect_ppx)))
