שליחה במסרון: Reachability Analysis for Annotated Code