We have seen an example of a program crashing because of a missing return statement.
How can we check that every path through a block ends with a return statement?
