let help = "Pretty-prints proof obligations on standard output."