PropertyTypeDiffFinder rem dependency