What's Inside An algorithm to test for confluence in a system of left to right rewrite rules | tbr*a