#KJ-74 3. Folding phase - program level. Implemented. We need #KJ-75 as well in order to test this.
#KJ-75 4. Unfolding phase - program level. Implemented. Tests should pass.