ShortestDistanceFinder 의 일부 메소드명 수정. (페러메터와 메소드명이 연결되게)
VariableGusser의 guess 리턴 타입 변경. TermSet class로 분리.

코드 전체적인 정리.