/** Infers as precise a fixed point as possible. */ @Action public void inferBounds() { int deductions = 1; while (deductions > 0) { bounds_.startAnalysis(); pred_.inferBounds(bounds_); bounds_.endAnalysis(); deductions = bounds_.getDeductions(); debug("inferBounds did " + deductions + " deductions, bounds=" + bounds_); } state_ = State.NoMode; }