intersection (C l1 Infinity) (C l2 (Regular u2)) = finiteBar (max l1 l2) u2
intersection (C l1 Infinity) (C l2 (Regular u2)) = finiteBar (max l1 l2) u2
intersection (C l1 Infinity) (C l2 (Regular u2)) = finiteBar (max l1 l2) u2