Small changes to `normalizeStructure` and `SimplifierWithPC#isPureFunction` (!192) · Merge requests · LARA / inox · GitLab

Viktor Kuncak requested to merge github/fork/mario-bucev/normalize-struct into main Dec 12, 2022

Created by: mario-bucev

See discussion https://github.com/epfl-lara/stainless/issues/1350