Tests for check_arguments()