Added points-to test.
Fixed wrong assertion.
The violations were reported for each allocation site, now they are only
reported once.