AssertDistributionRule: New way of checking sequence points...