// no WF error on these cases:

interface I {
  in void e();
  behaviour {
  }
}

component emptyBehaviour {
  provides I i;
  behaviour {
  }
}