Changed the format of xml in output files.

Revised definition of phillip_main_t::infer(...).