Assertion list for term "erf3a".

Results from Ascent++: 1
complex HasAerf3a 0.25