Գրեք սա: Reachability Analysis for Annotated Code