invariants are especially useful when reasoning about whether a computer program is correct a b dore niwe ntangiriro n'iherezo konrad adenauer yari umuyobozi wa mbere wa repubulika y'ubudage