(1) Adding trivial rule generator. (2) Adding txt and xml results.