Constrained_Horn_clauses loading ...