Add test for preorder reasoning syntax