Cannot use blocking with multiple provides ports (Dezyne Reference Manual)

11.5.6 Cannot use `blocking` with multiple `provides` ports

A component with more than one provides port is not allowed to block events, due to implementation restrictions. So:

interface ihello
{
  in void hello ();
  behavior
  {
    on hello:;
  }
}

component blocking_multiple_provides
{
  provides ihello left;
  provides ihello right;
  behavior
  {
    blocking on left.hello (): left.reply ();
  }
}

This results in the following error message:

blocking-multiple-provides.dzn:16:5: error: cannot use blocking with
    multiple provide ports

11.5.6 Cannot use blocking with multiple provides ports

11.5.6 Cannot use `blocking` with multiple `provides` ports