code: @Override
  	public int countCases() {
  		int counter = 1;
  		for (Constraint c : map.values()) {
  			counter = Math.max(counter, c.countCases());
  		}
  		return counter;
  	}
docs: Returns the maximum value that the method {@link #countCases()} takes for all sub-constraints
  in the table.