Include statements in Property diffing

This commit also moves the construction of the used sub differs
to the constructor of their users, so they do not get constructed
on every diff call.