I would add a comment in the code like 
// Never reachable because preconditions should be checked in setup()