Uses of Class
jason.asSemantics.Unifier