Fixing bug #3533.

Now error printing tries to set universe printing when two terms are not
desambiguated.