let help = "Keep labels in proof obligations (default: no)."