fix in joining cfi sets of two sub-conditions