The scheme only works when the right side is append-only. I will patch the compiler to only handle this case until there is a correct solution.