그래프 도달가능성으로 완전히 문맥에 민감한 분석하기