Class AbstractDeclaredEffectiveStatement.DefaultWithArgument.WithSubstatements<A,​D extends DeclaredStatement<A>>