Inference with Choice Functions Made Practical-Arne Decadt, Jasper De Bock and Gert de Cooman