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