improved transformer recursion, next needs to perform the corresponding inserts