Sum predicate fix. Heuristics for search space of gecode solver