Add tests to the following methods from CSP class

* result
* goal_test
* support_prunning
* suppose
* prune
* choices
* infer_assignement
* restore
* conflicted_vars