Assertion list
value (aspect of variable ) → Causes
Results from Ascent++: 1
value → Causes → error 0.31