AST printer updated (lib-num/test.ml)