Partially fixed prover-read :around - need to understand process-wait better