fix merge with ANF
ANF casts: original merge is SAFE