Massively simplified internal call taint propagation + NULL handled with TaintImmutable