Describir: Proving Program Termination.