flatten1 instead of flatten in cli-trans-facts