Predicate Security::argv

The argv parameter to the main function

predicate argv(Parameter argv)