copilot-theorem: Update examples to compile with copilot-theorem >= 3.0. Refs #692.#723

ivanperez-keera merged 2 commits intoCopilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:chathhorn/issue692GaloisInc/copilot-1:chathhorn/issue692Copy head branch name to clipboard