testcase for nested row substitution
row unification, clauses 7 and 8