Convertion to rascal seems to be completed.