Bugfix: first precedence test case passes.