現在、プロパティ名から型名を推論しているが、さらに推し進めて、推論結果のクラスがプロパティの子プロパティを持つかを判別し、持つ場合のみその推論結果が正しいと見なすようにする。