Realizability check terminates unexpectedly when computing deadlocking trace

[andreaskatis]

vehicle.lus.txt

I'm attaching an example file. The process ends abruptly during the counterexample computation step. The command I

ran is :

kind2 --enable CONTRACTCK vehicle.json

The Kind 2 version I am using is kind2 v2.1.0-2-gd17314a

Best Regards,

Andreas