New test case for a select box issue.
Another new test case for a select box issue.
Fixed #113.
Merge branch 'master' into feature-concolic-loop-skipping