Idle. Press Run to start the suite.

• ./constructors.proof.f.mjs
• ./for_of.proof.f.mjs
• ./normal_if.proof.f.mjs
• ./proof.f.mjs