Computation expression lowerer

Input
Output