Added HINT_EXISTS_TAC.

-- Vincent Aravantinos <vincent@encs.concordia.ca>