Program.KB
val lift : symtab -> program term Bap_knowledge.knowledge
lift symbols takes a table of functions and return a whole program lifted into IR.
lift symbols