If the user gives the argument -wextra instead of --wextra (note that two dashes should be used), sphexa takes the argument and silently ignores it. It should fail immediately after starting and complain that -wextra is not known.
If this error is not caught at the beginning the user might perform a full simulation expecting some additional outputs that will never occur.