CNF Refactoring
RISE MY SENSIBLE MINION (pl theorem prover is alive and kicking)