New draft of the pseudo boolean processor.