Recover type information for matching criteria from Ghidra #105
Description
The patch/contract matching criteria specify mentioning of c-like type information for variable/operand types. To write the yaml specification, one has to get the c-like type information from pretty-printed AST manually. Write a Ghidra script to recover the matching type information and variable/symbol name and generate matching criteria for patchs/contracts.