fix(frontends/lean): squiggle position for unary begin-end block
fix(frontends/lean): squiggle position for unary begin-end block