Source-level transforms for multiple specialization of horn clauses (extended abstract)