Update for #69 RedundantReturnCheck.