Added tests for translation of the Rascal 'fail' with a label; do not
pass yet (see issue #400).