public bool Occurs(string s, object o)
 {
     return(Unifier.OccurCheck(new Variable(s), o));
 }