For example, I want to开发者_高级运维 break the long string in the below panic statement: (panic \"Truth-assignment length is longer than the number of propositions!\")