Allow returns from both branches of an if-statement