Thread-safety analysis: ignore edges from throw expressions in CFG.