termination_by 利用時に rfl / decide が失敗する具体例を TerminationBy に追加
#2323
+32
−0
termination_by 利用時に rfl / decide が失敗する具体例を TerminationBy に追加
#2323