let tag_stmt stmt =
    if Stmt.Set.mem stmt (Fscope.get()) then scope_f_tag
    else if Stmt.Set.mem stmt (FBscope.get()) then scope_fb_tag
    else if Stmt.Set.mem stmt (Bscope.get()) then scope_b_tag
    else empty_tag