Improved debug information of constraint solver (close #18)