Instrumentation breaks tail recursivity #359
Description
Hello,
On this example with Ocaml 4.11.1 and bisect_ppx 2.5.0 :
let rec g y = g y || (g [@tailcall]) ythe instrumentation causes the Warning 51 to be emitted:
$ ocamlfind opt -c bisect_bug2.ml
$ ocamlfind opt -package bisect_ppx -c bisect_bug2.ml
File "bisect_bug2.ml", line 1, characters 21-38:
1 | let rec g y = g y || (g [@tailcall]) y
^^^^^^^^^^^^^^^^^
Warning 51: expected tailcallTail recursivity preservation looks like something desirable for the bisect_ppx.