Added reduction rules for abstractions and set unions