Ez egy trade-off. Minél több megszorítást csinálsz, annál kevésbé lehet hibákat elkövetni (ne menjünk messzire, MisraC). Cserébe elveszik a kezedből a "kreatívkodást". Ami lehet jó, de ha a kipörgésgátló szoftvert fejleszted a kocsimba, vagy a lélegeztetőgépet amit életben tart, akkor nagyon nem mindegy, hogy mennyire lehet kreatív a fejlesztő, vagy mennyire tud bizonyíthatóan hiba nélküli kódot írni. Ennek nyilván sok szintje van, és nem véletlen hogy sok helyen a kódot modellből generálják (aminél pedig bizonyítják a korrektséget).