let clearMemos () =
  IH.clear rhsHtbl;
  Hashtbl.clear iRDsHtbl