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