make verifier a bit less strict for out-edges to dead code