tests/org.eclipse.qvtd.cs2as.compiler.tests/models/Source2Target/SourceDisambiguation.ocl

import 'SourceMM1.ecore'

package source

context X
def : disambiguatesToA1 () : Boolean[1] =
	self.isA1

def : disambiguatesToA2 () : Boolean[1] =
	self.isA2
endpackage