super fast xml printing
Merge pull request #15 from karbyshev/master

Fixed generation of constraint system in the case of "full-context".
Port of TD to the new framework.