Added HINT_EXISTS_TAC.
Merge pull request #111 from aravantv/master

Merge HINT_EXISTS_TAC implementation from Vincent Aravantinos.