Add a test case for a particular udiv/select transform.