fix(frontends/lean/parser): segmentation fault after REPLACE, fixes #172
fix(frontends/lean/parser): segmentation fault after REPLACE, fixes #172