Characterization of state merging strategies which ensure