Certain permanent transformations (like in2exists), if they fail, may leave the LEX in an inconsistent state. They should call the following function, so that this LEX is not reused by another execution. @todo If lex_start () were a member function of LEX, the "broken" argument could always be "true" and thus could be removed. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected