added missing boolean constraints for unions