Warning: CHC analysis was not possible since Eldarica was the only Horn solver enabled, but it was not found in the system.
