PrettyPrinter for the B AST