UFC is now deprecated.

The code for UFC is now contained in FFC. The formula for UFC should be
removed once the new FFC is released.