fix: ignore possible dead branches for control flow object checks

fix: ignore possible dead branches for control flow object checks #83