Added a command line options for passing arguments to the backend verifier.