Raises when the branches taken so far cannot all hold at once, i.e. the walked path can never execute.