+ state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
+ tile_index++;
+ state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
+ tile_index++;
+ state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
+ tile_index++;