why3session.xml -diff