do not unfold the definition of the relator as it is not defined in terms of srel anymore
do not unfold the definition of the relator as it is not defined in terms of srel anymore

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