Fix: Check non-exhaustible conditional returns using a goto mechanism
#75
+96
−37
goto mechanism
#75