Add a few tests for Problem class.
Update CombFold, not to use Y nor Z outside of fold operation.