Modifying merging logic for truth derivations
This is a second attempt, so that merging of non-truth derivations don't accidentally set the truth derivation merging flag. This should fix ATLASG-1522 . Sorry for the trouble!
This is a second attempt, so that merging of non-truth derivations don't accidentally set the truth derivation merging flag. This should fix ATLASG-1522 . Sorry for the trouble!