Analyzing ILP using the QaY Framework...