Assertion list
method (aspect of newton ) → HasProperty
Results from Ascent++: 2
method → HasProperty → successful 0.75
method → HasProperty → painful 0.59