Clean up Clausifier before using it