modeltype GMFGEN uses gmfgen('http://www.eclipse.org/gmf/2009/GenModel');
	
transformation PrePostReconcileHook(inout gmfgenModel : GMFGEN);

property genEditor : GenEditorGenerator = null;
 
main() {
	this.genEditor := gmfgenModel.rootObjects()[GenEditorGenerator]->asOrderedSet()->first();
	assert fatal (genEditor.navigator <> null);
	genEditor.navigator := null;
	assert fatal (genEditor.navigator = null);
}