On the church-rosser property of left-linear term rewriting systems