(compiler): add left recur explain.