Checkpoint.
synchronized methods to add clauses. Various cleanup.
Comments and cosmetics.
retractToBeforeIndex()