The Occur-Check Problem Revisited