WyC: Possible fix for #395.
The compiler now reports "missing return statement" in the case of a
function or method which is declared to return a value, and for which
there is an execution path through it which does not end with a return
statement.  Unfortunately, there are some test cases failing as a result
of this which need to be further investigated before closing the issue.