Fix symbol duplicated across Cil and Ptrnode to help older ocaml (e.g. 3.12.1).
Add support for Question in markptr.
Cure Question expressions.
Support Question in optim pass.
Fix handling of ComputedGoto.
Fix some minor unhandled cases.
Comment out an unused variable.