pretty printing for BooleanExpr as external function