Using postdomination to reduce space requirements of data flow analysis