Assertion list for term "use auxiliary variable".

Results from Ascent++: 3
value (aspect of function) CapableOfuse auxiliary variable 0.25
value (aspect of parameter) CapableOfuse auxiliary variable 0.25
value (aspect of variable) CapableOfuse auxiliary variable 0.25