check store nullity in m.prop #220