added tree pattern and mint_set.k for cil
proved cil bst find using k rev 5e2c0c7d9e
used uvalueMInt instead of svalueMInt since only uvalueMInt can be hooked to bv2int
Merge pull request #50 from yilongli/java_rewrite_engine

proved cil bst find example