Sorry, I'm confused. maybe I'm missing a line of code in here somewhere, but as far as I can tell getReachableNT gets called by itself and by the first line of checkNullability2. checkNullability2 gets called by only the entry point. So in point of fact line 48 is completely superfluous and could be deleted. Right?