occur-check, does nominal unification has it?
Yes, it has the occur check. The ~variable transformation rule of nominal unification has a condition which states 

   provided X does not occur in t


what it is saying is exactly occur check.