Stav dette: Abstraction by symbolic indexing transformations