Implement CombIf0
Implement COmbFold.