Added simplify option to to_nnf