Converted to cnf formula is returned as string to be parsed again