psk: psk-visualize takes list of functions and per default visualizes reachable functions