CDITCK-451 test for assertion r from 5.1.4. Inter-module injection