Safety and Compilation of Non-recursive Horn Clauses