Implement translation of code has expression argument