Add cofoja design by contract checks