Minor modification of CogDefuzz (legacy)