Path should NOT have an incoming edge to 'print_random', because tainted data cannot flow through the node