Example 5.
Dominant-substitution prolongational closure