Free_choice_inference