First attempt at a rule improvement that utilizes the tree traversal better
Update implementation, comment out passing cases to isolate failing case