added pred props which approximates the set of objects that could be stored in the properties of an object