Assertion list for term "resolve without additional side effects".

Results from Ascent++: 1
bleeding CapableOfresolve without additional side effects 0.28