Predicate AV Rule 213::comparisonPrecedence

predicate comparisonPrecedence(int p)