bracket A intersect (B union C) properly

Same fix as for a-(b+c)
see #1