concept Bla {
  int a, b;
}

svoid test_conceptsWithFieldLessThanOrEqualTo () {
  new Concepts cc;
  indexConceptFieldDesc(cc, Bla, "a");
  Bla x = cnew(cc, Bla, a := 3, b := 3);
  Bla y = cnew(cc, Bla, a := 5, b := 5);
  for (int i : ll(7, 9))
    cnew(cc, Bla, a := i, b := i);
  assertEqualsVerbose(litset(x, y), asHashSet(conceptsWithFieldLessThanOrEqualTo(cc, Bla, a := 5)));
  assertEqualsVerbose(litset(x, y), asHashSet(conceptsWithFieldLessThanOrEqualTo(cc, Bla, b := 5)));

}