/** \symmetries all */
element Evaporator {
  EventWindow ew;
  Void behave() { ew[0] = ew[1]; }
}