Please Verify Syntax Tree Solver