Use BDDs to convert symbols to CNF