This test is adapted from the tests for N117-026
in ASIS-testsuite.
