Added HINT_EXISTS_TAC.