Some cleaning up

Deleted some unnecessary stuff: mostly op_big_phi in big_phi_comp_fb as
it wasn't working anyways. All PHI values are now sum(small phi).