let help = "Keeps output of provers for valid POs (default: no)"