modeltype Ecore uses 'http://www.eclipse.org/emf/2002/Ecore';

transformation bug418512(in mm : Ecore);

property packages : Sequence(EPackage) = mm.objectsOfType(EPackage)->asSequence();
property classes : Set(EClass) = packages.eClassifiers->select(oclIsKindOf(EClass)).oclAsType(EClass)->asSet();

main() {
	assert fatal (classes->size() = 1);
}