Integration Testing from Structured First-Order Specifications via Deduction Modulo