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