Bug fix. Most OCaml examples pass with left-factorization.