Fix duplicated definition for the `{}/0` shortcut in the ECLiPSe adapter file