First working version of the return errors diagnoser, called
"return_diagnoser4.c", is added.
The latest diagnoser is return_diagnoser6.c. It works for test cases
involving if ladders: ReturnError 1, 2, and 13-17.