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