Assertion list for term "first precision".

Results from Ascent++: 1
signal HasAfirst precision 0.31