Not feasible to ask this for every developer, but for safety critical systems it should be mandatory.