Test for 1st milestone test: 'error_undef_return.prog' written