Print GHC core with a flag