+
+ @Override
+ public void onFullDefinitionDeclared(StmtContext.Mutable<Integer, MinElementsStatement,
+ EffectiveStatement<Integer, MinElementsStatement>> stmt) throws SourceException {
+ super.onFullDefinitionDeclared(stmt);
+ SUBSTATEMENT_VALIDATOR.validate(stmt);
+ }