Fix in constraint splitting

  { T [T1...] | False } <: { T' [T1'...] | _ }

  Does not split in the subparts.