Fix CI
!223 (merged) broke the CI by one missing rename (utils_init_example_aterms_offse
to utils_init_example_aterm_offsets
) causing some parts of the CI to pass with warnings. This MR fixes that, all tests pass again.
!223 (merged) broke the CI by one missing rename (utils_init_example_aterms_offse
to utils_init_example_aterm_offsets
) causing some parts of the CI to pass with warnings. This MR fixes that, all tests pass again.