added setUnreachable after return (like in example: SimpleIf.java in JFirm)