BasicMethodConstraints bmc = new BasicMethodConstraints(descs);
m1:
for (int j = 0; j < ics.length; ++j) {
InvocationConstraints ic = ics[j];
Iterator i = bmc.possibleConstraints();
while (i.hasNext()) {
if (((InvocationConstraints)(i.next())).equals(ic)) {
continue m1;
}
}