better datapath extraction without the better type estimation of case statements