Code refactoring: TLA2B does no longer depend of a modified versions of
the parser SANY.