Notifying the user about unrecheable code, checking reach end of the method without returning a valid type