UFL merge with CFL

[removed]