let signal_select2 si s0 s1 = 
        let f = signal_check_frequency3 si s0 s1 in
        let new_signal = fun t -> 
                if (signal_fun si) t = N 0 then (signal_fun s0) t
                else if (signal_fun si) t = N 1 then (signal_fun s1) t
                else raise (Signal_operation "select2 index should be 0 or 1.")
        in
        (f, new_signal)