Class ASTMulNode