(macro) Run the given instructions unless all goals have been proved
Example: (when-not-proved (succeed bash) induct (repeat prove)) General Form: (when-not-proved instr1 ... instrk)
where each instri is a proof-builder instruction.
