Predicate AV Rule 213::arithmeticPrecedence

predicate arithmeticPrecedence(int p)