code: @Override
  	public boolean satisfies(Match match, int... ind)
  	{
  		return generate(match, ind).contains(match.get(ind[ind.length - 1]));
  	}
docs: Use this method only if constraint canGenerate, and satisfaction criteria is that simple.
  
  @param match current pattern match
  @param ind mapped indices
  @return true if the match satisfies this constraint