I'd call that a straw man. Very little code is written that way, so it doesn't apply in practice, like... at all. Also: unless you have very specific requireme

I'd call that a straw man. Very little code is written that way, so it doesn't apply in practice, like... at all. Also: unless you have very specific requirements there are probably easier languages+tools to write proven-correct programs in.