Minor corrections.
Use synonym lookup when finding candidate trees.