If a theorem prover and/or constraint solver is unable to find concrete values that exercise a path of constraints, then optionally, the feasible path is provided to the test program user.
The user can provide candidate representatives that will exercise the path.