Add bpl-subset, isl, and add a test.