/*
 * # state properties : 3
 *
 * initial = 1
 * any_s = 10
 * dead = 0
 *
 * # transition properties : 6
 *
 * self = 10
 * any_t = 22
 * self_epsilon = 10
 * notCFC = 0
 * epsilon = 10
 * not_deterministic = 0
 */