Support for blame / interval analysis in JKind results from AGREE