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