Performance improvement: Do not trigger backwards analysis for inactive taints which are being processed by the backwards solver anyway