print ast only when the -ast-print flag is given to the driver