Describir: On Proving Continuity of Programs.