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.