Add support for processing one PO at a time.
Implemented PO-at-a-time submission to Isabelle.