A protein engineering analysis of the transition state for protein folding: simulation in the lattice model