Fix landingpad bug
Fix landingpad bug

We were printing raw pointer addresses so far, in place of the landing
pad clauses. Now we record the operand and print its refmode.

plast-lab/llvm-datalog,plast-lab/cclyzer