testConstraints(strings);
printTestDisabledMessage("see bug 50658");
	public void testConstraints8() throws Exception{		String[] strings= {"Decl(A:x) =^= p.A", "Decl(A:f()) =^= p.A", "[aField.x] =^= java.lang.Object", "Decl(A:aField) =^= p.A", "[this] <= [aField.x]", "[aField] =^= A", "[x] =^= Object", "[this] =^= p.A", "[aField] <= Decl(A:x)"};		testConstraints(strings);	}	