IfTest(Zero) now returns PrimitiveSingle reg type by default (even though it's not always true)