testConstraints(strings);
printTestDisabledMessage("see bug 50658");
	public void testConstraints19() throws Exception{		String[] strings= {"[super.aField] =^= p.A", "[a] =^= A", "Decl(B:f()) =^= p.B", "[a] <= [super.aField]", "[null] <= [a]", "Decl(A:aField) =^= p.A", "[aField] =^= A"};		testConstraints(strings);	}	