Added refactor test example 18, which shows the expected behavior when
a compound term appears several times, and the system choose the first
layout for replacement.