Accepts character literals of the form '%/0xNNNN/'.
This is needed to parse classes from EiffelBase 7.2.
Validity rules still need to be implemented.
Fixed bug in processing code in void-safe mode where the end of one of the branches of if-instructions or inspect-instructions is not reachable.
The computing of the list of initialized entities at the end of the instructions was erroneous.
Made sure that $GOBO_EIFFEL is correctly initialized when running gec and gelint.
Fixed bug when checking the signature of built-in features in void-safe mode.
The detachable type mark was not taken into account.