<commit_before>package concrete.constraint

import scala.annotation.tailrec
import scala.collection.immutable.HashSet

trait BC extends Constraint {
  def shave(): Seq[Int]

  override def revise() = {
    if (intervalsOnly) {
      shave()
    } else {
      fixPoint()
    }
  }

  @tailrec
  private def fixPoint(ch: Set[Int] = Set()): Set[Int] = {
    val c = shave()
    if (c.isEmpty) {
      ch
    } else {
      fixPoint(ch ++ c)
    }
  }
}<commit_msg>Always go for fixpoint when performing BC<commit_after>package concrete.constraint

import scala.annotation.tailrec
import scala.collection.immutable.HashSet

trait BC extends Constraint {
  def shave(): Seq[Int]

  override def revise() = {
//    if (intervalsOnly) {
//      shave()
//    } else {
      fixPoint()
    //}
  }

  @tailrec
  private def fixPoint(ch: Set[Int] = Set()): Set[Int] = {
    val c = shave()
    if (c.isEmpty) {
      ch
    } else {
      fixPoint(ch ++ c)
    }
  }
}
{'fraction_non_alphanumeric': 0.13333333333333333, 'fraction_numerical': 0.0, 'mean_word_length': 2.4945454545454546, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1204777', 'n_tokens_mistral': 341, 'n_tokens_neox': 336, 'n_words': 80}