List subcommand accepts redundant arguments

[celinval]

I tried using the following command line invocation:

kani list -h

with Kani version: 0.56.0

I expected to see this happen: Just a few options to show up

Instead, this happened: Options such as --unwind, --cbmc-args, --concrete-playback, and so on show up as possible arguments.