assert false;
return;
    private void getDLCondExpression(JExpression condExp,				    DoLoopInformation info)     {	//only handle binary relational expressions	if (Util.passThruParens(condExp) instanceof JRelationalExpression) {	    JRelationalExpression cond = (JRelationalExpression)Util.passThruParens(condExp);	    	    //make sure that lhs is an access to the induction variable 	    if (Util.passThruParens(cond.getLeft()) instanceof JLocalVariableExpression &&		((JLocalVariableExpression)Util.passThruParens(cond.getLeft())).		getVariable().equals(info.induction)) {				//rhs is of type int		switch (cond.getOper()) {		case OPE_LT:		    info.cond = cond.getRight();		    break;		case OPE_LE:		    if (Util.passThruParens(cond.getRight()) instanceof JIntLiteral) {			JIntLiteral right = (JIntLiteral)Util.passThruParens(cond.getRight());			info.cond = new JIntLiteral(right.intValue() + 1);		    }		    else			info.cond = new JAddExpression(null, cond.getRight(),						       new JIntLiteral(1));		    		    break;		    //don't handle > or >=, it is not supported yet		    /*case OPE_GT:		      info.cond = cond.getRight();		      break;		      case OPE_GE:		      info.cond = new JAddExpression(null, cond.getRight(),		      new JIntLiteral(1));		    break;		    */		default:		    assert false;		}	    }	}    }