Assertion list for term "a value of 0".

Results from Ascent++: 4
bit HasAa value of 0 0.66
parameter HasAa value of 0 0.52
variable HasAa value of 0 0.50
arrow HasAa value of 0 0.28