crash 7.1.8 -> 7.1.9 swi-prolog 7.4.1 -> 7.4.2