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

Ignore-this: 6d1117b7936f9ec08c8b62f6f06f7ced

darcs-hash:f88fc1060169c633d66ea0b023f12b7f09c79cfe

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc