Removing useless condition in ILP constraints.
Making busy_l_coherency_2 equalities clearer in ILP constraints.