sreduce_args
sreduce_args
:=
assertions
|
(
stypeparameter_comma_list
)