Bisect tries to instrument after an application expression, but not when the application expression is in tail position, because that would ruin tail call optimization and change the stack semantics of programs.
Related to that, it may be a good idea to give the same treatment to TRMC calls as the instrumentation currently inhibits the transformation (and triggers a warning 71).
In https://github.com/aantron/bisect_ppx/issues/423#issuecomment-1640970471: