ToDoList for GeneralizedMorphismObject

for IsWellDefined