Almost done with cprop - have to add children nodes to worklist to get full propagation, test booleans and nonarithmetics, and add removal of dead code