AssertDistributionRule: Handle multiple instructions with sequence points that refer to the same line.
AssertDistributionRule: Handle multiple instructions with sequence points that refer to the same line.

provegard/testness,provegard/testness,provegard/testness