Removed debug code/fixed null reference in ReachabilityAnalysis.