Fixed NullPointerDetection. Added several external-modref info to
FunctionModRefPass
Added the skeleton of ControlDependenceGraph