Nicer (?) rendering of control flow graphs