Verifpal 0.19.5 Verifpal 0.19.5 includes minor bug fixes to analysis logic thanks to reports from "Mike".
