defs name to have the root value of the expr iff the named var has no root value, else expr is unevaluated