add secondary transfer rule for universal quantifiers on non-bi-total relations
add secondary transfer rule for universal quantifiers on non-bi-total relations

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