Internal

shrink_concept(s)

Simply delete the concept_ part of symbol or string starting with it. TODO: add a check with a warning if s starts with something different.

xcsp_intension(list, predicate)

An intensional constraint is usually defined from a predicate over x. As such it encompass any generic constraint.