Failing test for #438

Applying #438 won't fix this test as it uses abort instead of
terminate_interaction.  That will be addressed in a follow-up commit.