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