70fd2b1f33
(it was assumed that the first `return` always contains a value) close #22
(it was assumed that the first `return` always contains a value) close #22