begins bugfix: Intervention#match infinite loop when several actors may match one procedure variable
bugfix: #matching_variables_for: infinite loop when several products may match a variable