first try to enable free-semiring evaluation of _all_ subterms (also root-nodes!)