refined source code in Operator.cpp
implemented rule 'n / m * l = n * l / m'