Concolic test case for issue #107.