Fixed a minor bug wrt. return in the ast pretty printer and cfg generator