Produce Abstract Versions of Your App – Whilst Debugging!