Collapse exports line for BDD semantics to single line.