MUL now supports expression both on left and right nodes of binary expression