Per Lindgren / why3_2018