let get_info _kf_stmt_opt = 
    if Cilutil.StmtSet.is_empty (Pscope.get ()) 
    then ""
    else "[prop_scope] selected"