WyC: finished implementing the new computeFixedPoint function.  Some tests are still failing though so I need to fix them.