Execution of "se test" started: Monday June 27 2:49:20 2022
                    terminated: Monday June 27 2:49:59 2022
(39 elapsed seconds in "/home/et/Liberty/test/language/assertion/flat_check/".)