Assertion list for term "same device".

Results from Ascent++: 1
file HasAsame device 0.31