Print info flow only if vars are tainted