Fix "GLR backend reaches unreachable code"
This fixes bug #19 (closed) and two other places where the same error occurs. It isn't immediately obvious to me how to flush out the error in the third place.
This fixes bug #19 (closed) and two other places where the same error occurs. It isn't immediately obvious to me how to flush out the error in the third place.