fix bug in UnionSolve that caused it to not always propegate changes caused by lte constraints properly
fix bug in UnionSolve that caused it to not always propegate changes caused by lte constraints properly
hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc,hvr/jhc