> The DAG combiner also performs the undefined shift -> undef though, so it > should still be OK DAG combiner doesn't really run to convergence as far as I'm aware, so you often get extremely difficult to test but necessary checks like this. Tim.