unused
if (...) return; else return ...;
(it was assumed that the first `return` always contains a value) close #22