JK sast not done but annotate_expr should be