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