Reexecution-Based Analysis of Logic Programs with Delay Declarations.