testConstraints(strings);
printTestDisabledMessage("see bug 50658");
	public void testConstraints4() throws Exception{		String[] strings= {"[as0] =^= A[]", "[a0] <= A", "[{a0,}] <= [as0]", "Decl(A:f()) =^= p.A", "[null] <= [a0]", "[a0] =^= A"};		testConstraints(strings);	}	