Add two new query formulation algorithms based on NFA traversals
Add a basic test for NFA+ Tree algorithm
Add a basic test for NFA+ Tree algorithm