Assertion list for term "go to resolve function".

Results from Ascent++: 1
compiler CapableOfgo to resolve function 0.33