Made Reaching Analysis compile and not infinite loop, hooray.