code: public void addCtSource(Collection<T> ct, SVar<T> s) {
  	this.add(new CtConstraint<SVar<T>,Set<T>>(new LinkedHashSet<T>(ct), s));
      }
docs: Adds an constraint of the form &quot;constant set
  <code>ct</code> is included in the set <code>s</code>&quot;.