added visitor to check the existence of target types
added visitor to check the existence of target types