let separated : D.pointer -> D.pointer -> D.F.pred = D.p_app2 ("m0_separated")