Added some tests for fullmatch recovery when n_t > n_c