Integro-Local Theorems in Boundary Crossing Problems for Compound Renewal Processes