psk-visualize: CFG graph label, nicer loop-info