/**
  * Tests if a Element <code>element</code> is valid for the <code>NonExistentAttributeTransition
  * </code>.
  *
  * @param element
  * @return boolean
  */
 public static boolean isMatch(Element element) {
   if (!URelaxer2.isTargetElement(
       element,
       "http://www.iso_relax.org/xmlns/miaou/binaryTreeAutomaton",
       "nonExistentAttributeTransition")) {
     return (false);
   }
   RStack target = new RStack(element);
   boolean $match$ = false;
   Element child;
   if (!target.hasAttributeHungry("target")) {
     return (false);
   }
   $match$ = true;
   if (!target.hasAttributeHungry("nameClass")) {
     return (false);
   }
   $match$ = true;
   if (!target.hasAttributeHungry("right")) {
     return (false);
   }
   $match$ = true;
   if (!target.isEmptyElement()) {
     return (false);
   }
   return (true);
 }