Looper provides functionality to get data needed for creating a taxonomy of loop invariants.