let zip (_,omega) =
    D.close omega.bindings omega.property