Assertion list for term "a value of zero".

Results from Ascent++: 3
parameter HasAa value of zero 0.51
parameter (aspect of function) HasAa value of zero 0.41
register AtLocationa value of zero 0.33