Bugfix: clausifier setup in copy-constructor

Put the code to setup the clausifier and engine that is shared
between the copy-constructor and setLogic into a new method
setupClausifier