Recipeで、1つorphanができるとそこでproverが終わってしまう

[sazare]

step-proverの中でこの判定をしている。
proverは矛盾を求めるものだと前提していたからだろう。

[sazare]

Recipeのように、できるかぎりresolveするのもあるから、できるかぎり消すほうがよさそう

[sazare]

cake001a は full opopsなので[]まで作れる。
cake001は opposが足りないので、途中で終わる。