let zip (_,omega) =
    let _ , q = L.instantiate omega.instances omega.property in
    D.close omega.bindings q