1) support golf and search interface
2) add rippling example for lpar13
3) kill a branch when goal type fails