let signal_add s1 s2 = 
        let f = signal_check_frequency s1 s2 in
        let new_signal = fun t -> ((signal_fun s1) t) +~ ((signal_fun s2) t) in
        (f, new_signal)