add a utility function in dfg_range.hpp, divide_signal_name(), to handle the division of signal name with range expressions