proved all bst examples using k rev 5cc33efe
Merge pull request #51 from yilongli/java_rewrite_engine

proved all bst examples