let separated _ z1 z2 =
    let r1 = range_of_assignable z1 in
    let r2 = range_of_assignable z2 in
    model_separated r1 r2