Lithium: behavior, complete disjoint does not work (#1629) · Issues · pub / frama-c