Adding dirty concept to cells to aid in propagation
Constraints now propagate up