Assertion list for term "wrong address".

Results from Ascent++: 1
package HasAwrong address 0.33