digraph Taints {
	"$_GET:src/FileWithErrors.php:414" -> "$_GET['abc']-src/FileWithErrors.php:414-418"
	"$_GET:src/FileWithErrors.php:441" -> "$_GET['abc']-src/FileWithErrors.php:441-445"
	"$_GET:src/FileWithErrors.php:457" -> "$_GET['abc']-src/FileWithErrors.php:457-461"
	"$_GET['abc']-src/FileWithErrors.php:441-445" -> "call to is_string-src/FileWithErrors.php:441-452"
	"$_GET['abc']-src/FileWithErrors.php:457-461" -> "call to echo-src/FileWithErrors.php:408-474"
	"$s-src/FileWithErrors.php:110-111" -> "variable-use" -> "acme\sampleproject\bar"
	"$s-src/FileWithErrors.php:163-164" -> "variable-use" -> "acme\sampleproject\baz"
	"$s-src/FileWithErrors.php:216-217" -> "variable-use" -> "acme\sampleproject\bat"
	"$s-src/FileWithErrors.php:270-271" -> "variable-use" -> "acme\sampleproject\bang"
	"acme\sampleproject\bang#1" -> "$s-src/FileWithErrors.php:270-271"
	"acme\sampleproject\bar#1" -> "$s-src/FileWithErrors.php:110-111"
	"acme\sampleproject\bat#1" -> "$s-src/FileWithErrors.php:216-217"
	"acme\sampleproject\baz#1" -> "$s-src/FileWithErrors.php:163-164"
	"acme\sampleproject\foo#1" -> "$_s-src/FileWithErrors.php:57-59"
	"call to echo-src/FileWithErrors.php:336-368" -> "echo#1-src/filewitherrors.php:331"
	"call to echo-src/FileWithErrors.php:408-474" -> "echo#1-src/filewitherrors.php:403"
	"call to is_string-src/FileWithErrors.php:441-452" -> "is_string#1-src/filewitherrors.php:431"
	"coalesce-src/FileWithErrors.php:346-367" -> "call to echo-src/FileWithErrors.php:336-368"
}