added tree pattern and mint_set.k for cil
proved cil bst find using k rev 5e2c0c7d9e