added testcase to proof if a created xml is the same as a generated xml