support CCG as well as Csmith