Added the definition of priorities of the operators to the report