step 1: an ADD node became a PARAM node, by the rule 'x+0 (int)'
step 2: an MUL node became a PARAM node, by the rule 'x*1'
