Function pretty_expressions_as_top_level 

pub fn pretty_expressions_as_top_level(expressions: &[Expression]) -> String

Pretty prints a Vec<Expression> as if it were a top level constraint list in a such that.

Each expression is printed on a new line, and expressions are delimited by commas.

For some input expressions A,B,C:

A,
B,
C

Each Expression is printed using its underlying Display implementation.