Converting the type of 'ITextScanner.NextCharacter' to nullable; implementing backtracking; updating code contracts