current_op(Priority, Op_specifier, Operator) is true if and only if Operator is an operator whose properties are specified by Op_specifier and Priority