added new clause printing fn for counterStrategy