invariant for CELL_2048 added. I hope it is correct.