Corrected bug in prol_tran e prol_oth