Corrected some issues with termination proving.