Validator update: exception is generated

If I remember well, according to our convention, the TACtext is
generated so that there are no BBs with more that one direct
predecessors (so out of 'n' predecessors, at least 'n-1' must have GOTO
at the last instruction). Though, let me know, if I am wrong...