let add_id_prop op opl = merge_id_prop [op] opl