Incorrect recursive function warnings, with cycles

[nickbattle]

There is a problem with the reporting of "missing measures" for recursive functions in 2.7.4.

If a function is part of a mutually recursive cycle, and it calls other functions that are not part of the cycle (but not itself), it will have a warning "Recursive function has no measure", as well as "Mutually recursive cycle has no measure" and the cycles. It ought really only to have the cycles warning, since it is not (simply) recursive.

[nickbattle]

Fix now available in ncb/development.