Union and PushFilterRule: seldom occuring bug removed