Anfonwch hwn fel neges destun: Reachability Analysis for Annotated Code