Testsuite: taint-enforcement issues