There was a bug introduced in an experimental version being used for a traceability study. This new test case verifies that the same bug is not in the version here.