list all cases explicit in transform1, fix minor do while problem