/* * Properties for node : Board * # state properties : 6 *
* CL = 4
* D = 2
* O = 8
* W = 2
* any_s = 16 * initial = 16
* * # trans properties : 5 *
* any_t = 176
* epsilon = 16
* not_deterministic = 160
* self = 16 * self_epsilon = 16 */
