Assertion list for term "call correct function".

Results from Ascent++: 1
compiler CapableOfcall correct function 0.25