Lorenz Herzberger 1fc306e09d
fixed subcondition instantiation recursively (#328)
* fixed subcondition instantiation recursively
* blackified
* updated changelog

Signed-off-by: Lorenz Herzberger <lorenzherzberger@gmail.com>

---------

Signed-off-by: Lorenz Herzberger <lorenzherzberger@gmail.com>
2023-02-22 10:39:04 +01:00
..
2022-01-13 16:29:35 +00:00
2022-08-18 09:45:51 +02:00