add FUNION_FUPDATE_1 to the finite map compset