let signal_sup s1 s2 = 
        let f = signal_check_frequency s1 s2 in
        let new_signal = fun t -> v_sup ((signal_fun s1) t) ((signal_fun s2) t) in
        (f, new_signal)