there is a strange bug related to get_datapath. a clock port is strangely removed.