When a program takes explicit input, you can look at what the program does if you pass this or that input, even if some inputs will in fact never be passed.
When a program takes explicit input, you can look at what the program does if you pass this or that input, even if some inputs will in fact never be passed.