Removing n_cycle_basis as an invariant for sequence checking