ci.py: minor refactoring
CheckNullPointer::isPointerDeRef: Improve handling of static member variables and functions