Added the last step to the translation of the Rascal 'all'.