[Experiment] Disable the RefinementLifting phase#1603

mbovel wants to merge 1 commit intoepfl-lara:mainepfl-lara/stainless:mainfrom

mbovel:mb/disable-refinement-liftingmbovel/stainless:mb/disable-refinement-liftingCopy head branch name to clipboard