Raised verbosity level
Visit the possible dereferences in-depth.
Extend the AST null deref checher and disable the IR checker.

This resulted in one change of warning kind, which is expected. I disabled the
test MetdhoCalls, Baozeng will look at it once he gets the code.
Remove unused files.
Use better name.
Remove terminating comma; silences GCC warning