Seol mar théacs é seo: Reachability Analysis for Annotated Code