I mean the problem is exact that we cannot have this piece "(SetItem(fromUnion(UnionLoc:SymLoc, F:CId, Fields:FieldInfo)) => .Set) _)" in the new java rewriting engine.

This matching will not work.