Tree correctness#40

AndrewRatkov wants to merge 2 commits intoFormalLanguageConstrainedPathQuerying:bachish/tree-correctnessFormalLanguageConstrainedPathQuerying/UCFS:bachish/tree-correctnessfrom

AndrewRatkov:tree-correctnessAndrewRatkov/UCFS:tree-correctnessCopy head branch name to clipboard