Main {
(@
  static public void main(String args[]) throws Exception {
      A a = A.parse(System.in);

  }
@)
}

A {
   traversal toStopEF(V v) {
     to-stop {E,F};}
  (@ void test() {
       V v = new V();
       toStopEF(v); }
  @)
}