method private current_ki =
    match self#current_stmt with None -> Kglobal | Some s -> Kstmt s