cleanup
30-ptr-of-ptr.c: test for MayPointTo
15-var-switch.c: assign should be more precise when aliasing