ignore improper tokens to avoid ambiguity of Range.touches (assuming that relevant tokens are separated properly);
ignore improper tokens to avoid ambiguity of Range.touches (assuming that relevant tokens are separated properly);

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