Assertion list for term "same num_tokens value".

Results from Ascent++: 1
node HasAsame num_tokens value 0.25