for F1, F2 being non empty Graph-yielding Function st F1,F2 are_isomorphic holds
canGFDistinction F1, canGFDistinction F2 are_isomorphic