Yes. I would have designed contracts as decision tables.[1] Those are not Turing-complete. They look more like spreadsheets. They have a finite number of cases and can be exhaustively tested.

[1] https://en.wikipedia.org/wiki/Decision_table