example code suffering from a double case of else-after-return simplified according to the subsequent rule
