The stack overflow reported on this issue has already been fixed. closes #297
theorem r:0:=do
0if 0then 0
