fix(frontends/lean): assertion violations