Assertion list for term "integer m".

Results from Ascent++: 1
line HasAinteger m 0.36