fix Tr_whileExp