let
option_name =
"-wp-proof-trace"