code: @Override
  	public boolean satisfies(Match match, int... ind)
  	{
  		assertIndLength(ind);
  
  		return con.generate(match, ind).isEmpty();
  	}
docs: Checks if the wrapped Constraint can generate any elements. This satisfies if it cannot.
  @param match current pattern match
  @param ind mapped indices
  @return true if the wrapped Constraint generates nothing