Left-factorization code updated.