verify Properties too with late eval