added function to print clauses from BF