[dataflow]

It sounds like you're specifically talking about runtime-enforced contracts rather than ones that the compiler uses to prove compliance? Your first sentence makes it sound like you think all contracts are useless, but your last sentence makes it seem like you think they're useful if they're compile time.

[johnisgood]

Which they are (compile time) with Ada / SPARK, without any runtime costs.