Increased recognition of the FlatZinc specification and improved performance: Th…

…e FlatZinc interpreter recognizes all restrictions that restrict variables whose domains are positive  integers or booleans. The FlatZinc seq search annotation is now also recognized and applied, and more heuristics for varchoiceannotation and assignmentannotation were also implemented.
The performance of some propagators was also improved; Bug fixes;