tests/org.eclipse.ocl.examples.xtext.tests/models/oclinecore/Bug401921.oclinecore

import ecore : 'http://www.eclipse.org/emf/2002/Ecore#/';

package stk : stk = 'http://stk'
{
	class StackOverflow
	{
		attribute r : ecore::EDouble[*] { ordered };
		invariant: r->at(1) < 0.0;
	}
}