for x being variable holds
( <*x*> is quasi-loci iff vars x = {} )