Demo of the analyser from the paper "Verified functional programming of an abstract interpreter"