Another test case for left factorization added.