union * desc The union statement collects all the return statements of its substatements in its output. * properties exec:yes ret_set:into control_flow:yes * substatements :ret_set != "" * depending_on substatements:ret_set * changes output = union of all substatement:ret_set * time 0 * space set:into
