kframework/k — pull request #1138 by yilongli (2014-10-31 20:42:37+00:00)
Title: patch in order to prove cil bst find example

@andreistefanescu please review