Progress on StratifiedForward prover.