sepcomp: tag values when storing it with opt_no_union_attribute