Assertion list for term "different weight".

Results from Ascent++: 1
block HasAdifferent weight 0.29