let hkey k =
    match k with
      | Key.Stmt stmt -> Hstmt stmt.sid
      | Key.VarDecl var -> Hdecl var
      | Key.Label (sid,l) -> Hlabel (sid,l)
      | _ -> assert false