ctlz test case

it should optimize to tRUE but doesn't. Need to check WHY?