The outline of a generated file is as follows. There may be differences how the code is generated for one rule, whether a fixpoint evaluation is generated, etc.. Lines that are marked by a * appear as lists of items.
*
