Add a precondition check for the args parameter.