for F1, F2 being Graph-yielding Function st F1,F2 are_Disomorphic holds
( ( F1 is non-Dmulti implies F2 is non-Dmulti ) & ( F1 is Dsimple implies F2 is Dsimple ) )