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