An efficient approach to nominal equalities in hybrid logic tableaux