diff: false positives when nested annotations are used

Added test case which shows how an incorrect Diff can be generated when
nested annotations are used.