Replace custom Ast2String with ASTProlog from B parser

The AST form is only used for comparisons in tests, so the exact format
doesn't matter.