Rule fired: integerMul (BUILTIN)
Rule fired: integerAdd (BUILTIN)