let get_info _kf_stmt_opt = if Cilutil.StmtSet.is_empty (Fscope.get ()) && Cilutil.StmtSet.is_empty (FBscope.get ()) && Cilutil.StmtSet.is_empty (Bscope.get ()) then "" else "[scope] selected"