added readProplib as a prerequisite for properties expansion