Fixed the reaching def analysis