Translate and assemble if-let