threeRepetitions

Indicates whether a position has been repeated three times (non-terminal).