rename_client_map_tac: avoid ill-defined thm reference;
rename_client_map_tac: avoid ill-defined thm reference;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle