detection of definitions only;
bugfix in Unif.variant