bug int/bool sum + flatzinc checking