Improve CIF pretty printer output
Improvements:
-
Use more empty lines: - For instance: between locations, between components, between annotated enumeration literals, etc.
- See also !864 (comment 2134327).
-
Use a keyword for each initial/marked predicate, invariant, etc. - Currently, we use
initial
only for first predicate in same scope, end the line with,
and then next predicate is on next line, without a keyword. - Instead, each line gets keyword, and ends with
;
. - Helps to improve precondition check output (which is reported on pretty printed output), as then more clear that it is an initialization predicate that has a problem, for instance.
- See also !511 (merged) (merge request description, 'Potential follow-ups'.
- Currently, we use