textual example in treesimp
objective keyword for treesearch
treesearch objective keyword in fu