Delete .yices-output