TESTING: Added test case for conditionals.

This test case constructs a situation where two paths are joined.  This
tests the joining capability of the verification condition generator.