Fix bug in printing output for bounded reachability