Replace a call to error in our FFI with a safe alternative#650

WhatisRT merged 2 commits intomasterIntersectMBO/formal-ledger-specifications:masterfrom

andre/small-fixIntersectMBO/formal-ledger-specifications:andre/small-fixCopy head branch name to clipboard