dead code check on returnless procedure