Implemented additional patterns to load FlatZinc problems