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