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