if( TreeInfo.isRegularPattern( pat ) ) seqDepth = 0; else seqDepth = -32;
      public boolean check( Tree pat ) {            this.boundVars = new HashMap();            return check1( pat, false );    }