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