Free choice inference (source code)

= Free choice inference
{wiki=Free_choice_inference}