Inference with Choice Functions Made Practical