[Flatzinc] encode p_bool_le with a clause