Improved trace information on runFD'.
Improved trace information on runFD'.
Improved trace information on runFD'.
Merge pull request #19 from notae/wip/stat-debug-info

Improved debug information of constraint solver (close #18)