Assertion list for term "function as required".

Results from Ascent++: 1
enzyme CapableOffunction as required 0.38