Example 6.
Another realization of dominant-substitution prolongational closure
