stop flattening  ambiguous terms to abstract syntax during pretty printing