Assertion list for term "become on par".

Results from Ascent++: 1
export CapableOfbecome on par 0.28