enum E { V };
 
interface I {
  in void e();
  behaviour {
      on e: {}
 }
}

component VerifyWithGlobal {
  provides I p;
  behaviour {
    E s = E.V;
    //[s.V]
    on p.e(): {}
  }
}