Problems in nofib/gc benchmarks
In nofib/power.hs we have revert (f0 :+: f1 :+: Pz) = -1/f1 :+: 1/f1 :+: Pz --(5)
which should be f0/f1 :+: -1/f1 :+: Pz
In nofib/circsim.hs we have xor x y = if (x==y) then one else zeroS
which should be xor x y = if (x==y) then zeroS else one