/* */ {
/* 84 */ DeclareDef declare = (DeclareDef)it.next();
/* */
/* 86 */ StringBuffer sb = new StringBuffer(" condition\n\t'" + declare.getExpr() + "'\nwas broken for ");
/* */
/* 88 */ if (((newcall != null) && (declare.matchesCall(advisor, newcall))) || ((mcall != null) && (declare.matchesCall(advisor, mcall))))
/* */ {
/* 90 */ if (mcall != null)
/* */ {
/* 92 */ sb.append("method call:");
/* 93 */ CtBehavior caller = mcall.where();