Elimination of covert contracts