Two errors fixed
Transition 30 of Table 4.6 is implemented
TIU: implementation of cab1 and cab2
Tests corrected according to the implementation of cab1 and cab2 in TIU