code: private boolean isApplicable( Iterator<IVarDef> varDefs)
      {
      boolean applicable = false;
      while( varDefs.hasNext() && !(applicable = isApplicable( varDefs.next())));
      return applicable;
      }
docs: Returns true if this pattern is applicable to the given set of variables.