The Shift of Theseus – Toy Bit Provenance Abstract Domain