fn validate_commandline_args_with_session_available(sess: &Session)