fix(frontends/lean): assertion violations
fix(frontends/lean): assertion violations