Towards a Dereversibilizer: Fewer Asserts, Statically. - Jonas Wolpers Reholt; Robert Glück; Matthis Kruse (RC, 2023)