chg: clearer name of test
new: test for bug in subst in trans ext rings