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