Add tests to document current behavior of post-instr in branches#435

mbarbin wants to merge 1 commit intoaantron:masteraantron/bisect_ppx:masterfrom

mbarbin:add-testsmbarbin/bisect_ppx:add-testsCopy head branch name to clipboard