Translating an expression associated to module