Add support for mangling: How we can check regular C++ functions.

Indirect calls are still an issue.
Add support for null deref checks in indirect calls.