// Sample input for the semantic checker.
//
// The following errors are intentionally inserted:
//   - class E is not defined in the ClassDictionary aspect
//   - classes GJ, Customer, TotalMoney, Bedroom, E are used
//     in declarations, but not defined
//   - strategy s4 is not defined
//   - node set ns4 is not defined

aspect (ClassDictionary) MyClassDictionary {{
	A = B.
	B = C.
	C = D E.
	D = .
}}

aspect (Traversal) MyTraversals {
	declare strategy: s1:
		from A via B bypassing GJ to C;
	declare strategy: s2:
		from Customer to TotalMoney;
	declare strategy: s3:
		{ Customer -> Bedroom Bedroom -> TotalMoney };
        declare node set: ns1:
		nodes s4;
	declare node set: ns2:
		A, B, E;
        declare node set: ns3:
                or(!ns4, and (ns1, ns3));
}